#
# Script for use with the HTML file "Potassium channel (1JVM).html"
#